#pragma once
#include<vector>

void TestAll2SAT();



